body {
    font-family: monospace;
    white-space: pre;
}

ins {
    background-color: #9cffa0;
    text-decoration: none;
}

del {
    background-color: #ff9e9e;
}
